2

Domino-tiling games

Year:
1986
Language:
english
File:
PDF, 1.14 MB
english, 1986
3

Turing machines with access to history

Year:
1990
Language:
english
File:
PDF, 719 KB
english, 1990
5

Completeness Proofs for Some Logics of Programs

Year:
1982
Language:
english
File:
PDF, 712 KB
english, 1982
6

On the Decidability of Propositional Algorithmic Logic

Year:
1982
Language:
english
File:
PDF, 802 KB
english, 1982
7

Deterministic Permutation Routing on Meshes

Year:
1997
Language:
english
File:
PDF, 248 KB
english, 1997
8

Fast gossiping with short unreliable messages

Year:
1994
Language:
english
File:
PDF, 690 KB
english, 1994
9

A hierarchy of propositional Horn formulas

Year:
1989
Language:
english
File:
PDF, 926 KB
english, 1989
10

Parallel quicksort

Year:
1991
Language:
english
File:
PDF, 583 KB
english, 1991
12

Centralized asynchronous broadcast in radio networks

Year:
2007
Language:
english
File:
PDF, 733 KB
english, 2007
14

Randomization helps to perform independent tasks reliably

Year:
2004
Language:
english
File:
PDF, 233 KB
english, 2004
16

Broadcasting Spanning Forests on a Multiple-Access Channel

Year:
2003
Language:
english
File:
PDF, 282 KB
english, 2003
17

Performing work in broadcast networks

Year:
2006
Language:
english
File:
PDF, 1.60 MB
english, 2006
19

Many-to-Many Communication in Radio Networks

Year:
2009
Language:
english
File:
PDF, 450 KB
english, 2009
20

Deterministic broadcasting in ad hoc radio networks

Year:
2002
Language:
english
File:
PDF, 198 KB
english, 2002
21

Sorting roughly sorted sequences in parallel

Year:
1990
Language:
english
File:
PDF, 477 KB
english, 1990
22

On the computational complexity of satisfiability in propositional logics of programs

Year:
1982
Language:
english
File:
PDF, 3.71 MB
english, 1982
24

Robust gossiping with an application to consensus

Year:
2006
Language:
english
File:
PDF, 258 KB
english, 2006
27

A parallel bucket sort

Year:
1988
Language:
english
File:
PDF, 383 KB
english, 1988
28

Parallel iterated bucket sort

Year:
1989
Language:
english
File:
PDF, 456 KB
english, 1989
32

Sorting on a Mesh-Connected Computer with Delaying Links

Year:
1994
Language:
english
File:
PDF, 1.37 MB
english, 1994
39

Broadcasting in ad hoc multiple access channels

Year:
2015
Language:
english
File:
PDF, 642 KB
english, 2015
43

Adversarial Queuing on the Multiple Access Channel

Year:
2012
Language:
english
File:
PDF, 240 KB
english, 2012